Logic simulation - PDFSEARCH.IO - Document Search Engine

Logic simulation
Results: 497

#	Item
261	NS-1 A powerful and intuitive system configuration and simulation tool ensuring uniform SPL coverage of any NEXO system in any venue. NS-1 is a powerful simulation tool that enables NEXO users to configure and optimise Add to Reading List Source URL: nexo-sa.com Language: English - Date: 2011-02-24 07:18:57 Ns Telecommunications engineering Simulation Logic simulation Electronic engineering Simulation software Computer networking
262	05 Customers & Partners MBDA UK to get Europe’s Add to Reading List Source URL: www.acutronic.com Language: English - Date: 2010-11-03 02:29:48 Operations research Simulation MBDA Meteor Hardware-in-the-loop simulation Motion simulator Logic simulation Electronics Electronic engineering Digital electronics Virtual reality
263	Large-Scale Hardware Simulation: Modeling and Verication Strategies Douglas W. Clark 1 Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2005-08-12 16:55:44 Formal methods Electronic design automation Logic simulation Electronic design Simulation Computer simulation Integrated circuit design Software bug Software development process Electronic engineering Electronics Logic design
264	NEC Uni Stuttgart[removed] Add to Reading List Source URL: www.hlrs.de Language: English - Date: 2012-02-21 10:12:50 Electronic design automation Cray Simulation High-performance computing Computer cluster NEC SX-6 FLOPS Supercomputer Logic simulation Computing Parallel computing Concurrent computing
265	Decision-Theoretic Throttling for Optimisitc Simulations of Multi-Agent Systems Michael Lees, Brian Logan, School of Computer Science and Information Technology University of Nottingham, UK {mhl,bsl}@cs.nott.ac.uk Chen D Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-12-28 11:41:25 Science Computing Simulation Rollback SQL Logic simulation Agent-based model Timestamp Schedule Scientific modeling Transaction processing Data management
266	Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:08 Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science
267	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-11-01 22:55:48 Mathematical logic Algebraic logic Logic Diagrams Formal methods Binary decision diagram Canonical form Circuit Boolean satisfiability problem Theoretical computer science Boolean algebra Mathematics
268	Distributed Simulation of MAS Michael Lees1 , Brian Logan1, Rob Minson2 , Ton Oguara2 , and Georgios Theodoropoulos2 1 School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-02-14 13:22:34 Science Agent-based model Simulation SQL Discrete event simulation Logic simulation Timestamp Scientific modeling Computing Electronic engineering
269	TIME WINDOWS IN MULTI-AGENT DISTRIBUTED SIMULATION Michael Lees1 , Brian Logan1 , Georgios Theodoropoulos2 1 School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK {mhl,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-06-15 12:12:14 Simulation Computing Modeling and simulation Agent-based model Complex systems theory Discrete event simulation Logic simulation Military simulation Flocking Scientific modeling Science Electronic engineering
270	2014 Texas Tech University Health Sciences Center: Simulation Centers Policies Add to Reading List Source URL: www.ttuhsc.edu Language: English - Date: 2014-11-03 14:25:03 Virtual reality Operations research Simulation Electronic design automation Texas Tech University Health Sciences Center Logic simulation Haptic technology Humanâ€“computer interaction Digital electronics Electronic engineering

UPDATE